Method for specifying equivalence of language grammars and automatically translating sentences in one language to sentences in another language in a computer environment

ABSTRACT

A method for specifying equivalence of language grammars and automatically translating sentences in one language to sentences in another language in a computer environment. The method uses a unified grammar specification of grammars of different languages in a single unified representation of all the individual grammars where equivalent production rules of each of the grammars are merged into a single unified production rule. This method can be used to represent the equivalence of computer languages like high level language, assembly language and machine language and for translating sentences in any of these languages to another language.

FIELD OF INVENTION

Tile invention relates to a method for specifying equivalence of language grammars and the automatic translation of sentences in one language to sentences in another language in a computer environment.

BACKGROUND OF THE INVENTION

A language is basically a set of sentences that can be formed by following certain rules. The basic building block of any language is its alphabet. There are numerous languages existing today in the same way. The sentences are a collection of words that are formed from the letters of the alphabet. There are certain rules to be followed when putting these words together. These rules are called grammar of the language and are unique for each and every language. These rules determine the valid sentences of the language. Thus one can define grammar as a concise specification using which, it is possible to generate all the valid sentences of the language. A grammar specifies the syntax or structure of a language; irrespective of whether it is a language such as English or programming language such as ‘C’ or assembly language.

Very often, it is required to convert sentences in one language to equivalent sentences in another language. For example from English to French or from a programming language to assembly language. To perform such tasks the language grammars have to be specified and the source language statements should be validated and translated to sentences in the target language.

A method used in the prior art for translating a language to another language used is carried out in the following manner.

Define the source language grammar. Parse the sentences and convert them to a predefined intermediate format and translate finally, the intermediate format to the target language.

The disadvantages in performing a translation by the above mentioned method are the following

-   -   (i) This method will not allow equivalence of the source         language grammar and target language grammar to be specified.         Thus there is no real correspondence between source language         grammar and target language grammar.     -   (ii) Normally this method allows the translation from one source         language to one target language only. Mapping to multiple target         languages will not be possible.     -   (iii) Mapping from a source language to a target language is         predefined and thus supporting translations to new languages         will be difficult.

OBJECT OF THE INVENTION

Bearing in mind the problems and detriments of the prior art, the object of the present invention is to provide a method to automatically translate sentences from one language to another, overcoming the above mentioned deficiencies.

Thus one of the object of the present invention is to be able to specify the equivalence of the source language grammar and target language grammar.

Another object of the present invention is to allow mapping to multiple target languages. Method according to the invention should have no restrictions to translating a source language to more than one target languages.

DESCRIPTION OF THE INVENTION

The invention provides a method for representing equivalence of language grammars and for the automatic translation of sentences in one language to sentences in another language in a computer environment.

Let L₁ to L_(n) be n number of languages and G₁ to G_(n) represent the respective grammars for the languages L₁ to L_(n). Each grammar is unique to that particular language. Each grammar G₁ to G_(n) consists of a set of terminal symbols, a set of non-terminal symbols, a unique start symbol which is a nonterminal symbol and a set of production rules. These production rules are the main aspects of the grammar. Production rule define the rules to reduce a string of terminal and/or nonterminal symbols to a target nonterminal symbol.

In a grammar, there is at least one production rule that has the start symbol as its target nonterminal symbol. A sentence of a language may be defined as ally string derived from the start symbol composed of only terminal symbols.

In the method according to the invention a unified grammar specification is created for the grammars G₁ to G_(n) of all the languages L₁ to L_(n) respectively. Then the text in the source language is separated into a list of tokens using conventional lexical analyser for the source language. A nonterminal symbol is set to the start symbol of the unified grammar specification. Then a set of grammar production rules is obtained for the said non-terminal symbol form the unified grammar specifications. Take each symbol one by one from a list of terminal symbols and/or nonterminal symbols corresponding to the source language grammar, determine whether it is a terminal symbol or a nonterminal symbol. For each terminal symbol obtained which is equivalent to a corresponding symbol in the list of tokens form the source language, consider the next symbol in the list of said terminal symbols and/or nonterminal symbols. For each nonterminal symbol obtained which refers to another non-terminal symbol obtain a set of grammar production rules for that nonterminal symbol and repeat the previous steps.

If all the symbols in the said list of terminal symbols and/or non-terminal symbols corresponding to the source language grammar match with symbols in the said list of tokens of the input text obtain a list of symbols corresponding to the target language grammar from the said unified grammar production rule. For those symbols in the said list of terminal symbols and/or non-terminal symbols which do not match with symbols in the said list of tokens, repeat the earlier steps considering the next production rule from the set of production rules obtained for the non-terminal.

Taking each symbol one by one from the said list of symbols corresponding to the target language grammar, determine whether it is a terminal symbol or non-terminal symbol. Each terminal symbol obtained are provided as output. For each nonterminal symbol, obtain another unified grammar production rule corresponding to that nonterminal symbol and repeat this step till all the symbols in the said list of symbols corresponding to the target language grammar are exhausted.

BRIEF DESCRIPTION OF DRAWINGS

FIG. I shows a system with which the method according to the invention can be implemented.

FIG. II shows the flow chart of the method according to the invention.

FIG. III shows the steps taken to create the unified grammar specification in the second step shown in FIG. II.

FIG. IV shows the steps taken to determine if all symbols in a unified grammar production rule match with the symbols in the token list ‘T’ in the sixth step of FIG. II and the seventh step of FIG. V.

FIG. V shows the steps taken to determine if a symbol from a unified grammar production rule matches with a symbol from the token list ‘T’ in the fourth step of FIG. IV.

FIG. VI shows the steps taken to obtain the sentence ‘L_(t)’ from a unified grammar production rule ‘P’ in the eight step of FIG. II and in the seventh step of FIG. VI.

DESCRIPTION WITH REFERENCE TO THE DRAWINGS

The method according to the invention can be implemented by using a processing device (1) such as a microprocessor, a memory (2) and a user input device (3) connected to said processor (1). The user-input device may be a keyboard or any other device which can provide information signals to the processor. The memory typically consists of a RAM and a ROM. According to the invention, the method of automatic translation of a sentences from a source language L_(s) selected from a number of languages L₁ to L_(n) to a target language L_(t) selected from the number of languages L₁ to L_(n) comprises the following steps.

-   Step 1: Grammars G₁ to G_(n) of all the languages L₁ to L_(n)     respectively and a text ‘S’ in the source language L_(s),are     provided as inputs. -   Step 2: A unified grammar specification UG is created for the     grammars G₁ to G_(n). -   Step 3: The input text ‘S’ in the source language L_(s) is separated     into a list of tokens T using a lexical analyser for the source     language L_(s). -   Step 4: A nonterminal symbol ‘E’ is set to the start symbol of the     unified grammar specification UG. -   Step 5: A set of grammar production rules P_(e) is obtained by     selecting the production rules which contain ‘E’ as their target     non-terminal symbol from the unified grammar specification UG. -   Step 6: For each unified grammar production rule P in the set of     grammar production rules P_(e) taking each symbol one by one from a     list of terminal symbols and/or non-terminal symbols corresponding     to the source language grammar G_(s), determine whether it is a     terminal symbol or a non-terminal symbol. -   Step 7: For each terminal symbol obtained from the previous step     which is equivalent to a corresponding symbol in the list of tokens     T of the input text in the source language L_(s), consider the next     symbol in said list of terminal symbols and/or nonterminal symbols     corresponding to the source language grammar G_(s) and for each     nonterminal symbol obtained from the previous step which refers to     another nonterminal symbol E_(s), of the unified grammar     specification UG, repeat step (5) onwards with the new nonterminal     E_(s). -   Step 8: If all the symbols in the said list of terminal symbols     and/or non-terminal symbols corresponding to the source language     grammar G_(s) match with all the symbols in the list of tokens T of     the input text in the source language L_(s), obtain a list of     symbols t corresponding to the target language grammar G_(t) from     the unified grammar production rule P and for those symbols which do     not match, repeat step 6 onwards for the next unified grammar     production rule P defined for the nonterminal symbol ‘E’. -   Step 9: Take each symbol one by one, from the list of symbols t     corresponding to the target grammar G_(t) and determine whether it     is a terminal symbol or a non-terminal symbol. -   Step 10: For each terminal symbol obtained from the previous step     output the symbol, and consider the next symbol and for each     nonterminal symbol obtained from the previous step, obtain another     unified grammar production rule P corresponding to that nonterminal     symbol and repeat the previous step with the new unified grammar     production rule, till all the symbols in the list of symbols t     corresponding to the target language grammar G_(t) are exhausted.

The unified grammar specification UG, for the grammars G₁ to G_(n) of languages L₁ to L_(n), is created by defining a unified production rule P₁ in the unified grammar specification UG having the target nonterminal symbol of the production rule P as its target nonterminal symbol for every production rule P of the grammars G₁ to G_(n) and creating a list of terminal symbols and/or nonterminal symbols in the said production rule P₁ for each grammar G₁ to G_(n); adding each and every symbol in the list of terminal and/or nonterminal symbols that are represented by the target nonterminal symbol in the production rule P to the said unified production rule P₁ and repeating previous steps for the next production rule of the grammars G₁ to G_(n).

The method according to the invention can be used to represent the equivalence of multiple language grammars and for translating sentences of one language to another. 

1. A method of automatic translation of sentences from a source language L_(s) selected from language L₁ to L_(n) to a target language L_(t) selected from languages L₁ to L_(n), in which steps thereof are implemented by a computer, comprising the steps of: (i) providing grammars G₁ to G_(n) of all the languages L₁ to L_(n) respectively, in which each grammar is unique to that particular language, and a text ‘S’ in the source language L_(s) as inputs; (ii) creating a unified grammar specification UG for the grammars G₁ to G_(n), in which equivalent grammar production rules of each grammar G₁ to G_(n) are combined into a single unified production rule; (iii) separating the input text ‘S’ in the source language L_(s) into a list of tokens using a lexical analyser for the source language L_(s); (iv) setting a current non-terminal symbol to the start symbol of the unified grammar specification UG; (v) obtaining a set of the grammar production rules from the united grammar specification UG, which contain the current non-terminal symbol as their target non-terminal; (vi) for each unified grammar production rule P in the set of the grammar production rules obtained from the previous step (v), taking each symbol one by one from a list of terminal symbols and/or non-terminal symbols corresponding to the source language grammar G_(s), determining whether it is a terminal symbol or a non-terminal symbol; (vii) for each terminal symbol obtained from the previous step, which is equivalent to a corresponding symbol in the list of tokens T of the input text in the source language L_(s), considering the next symbol in said list of terminal symbols and/or non-terminal symbols corresponding to the source language grammar G_(s) and for each non-terminal symbol E_(s) obtained from the previous step, repeating step (v) onwards with E_(s) as the current non-terminal symbol; (viii) if all the symbols in the said list of terminal symbols and/or non-terminal symbols corresponding to the source language grammar G_(s) match with all the symbols in the list of tokens T of the input text in the source language L_(s), obtaining a list of symbols t corresponding to the target language grammar G_(t) from the unified grammar production rule P and for those symbols which do not match, repeating step (vi) onwards for a next unified grammar production rule P defined for the non-terminal symbol ‘E’; (ix) taking each symbol one by one, from the list of symbols t corresponding to the target grammar G_(t) and determining whether it is a terminal symbol or a non-terminal symbol; (x) for each terminal symbol obtained from the previous step outputting the symbol, and considering the next symbol and for each non-terminal obtained from the previous step, obtaining another unified grammar production rule P corresponding to that non-terminal symbol and repeating the previous step with the new unified grammar production rule, till all the symbols in the list of symbols t corresponding to the target language grammar G_(t) are exhausted.
 2. The method as claimed in claim 1, wherein the unified grammar specification UG, for the grammars G₁ to G_(n) of languages L₁ to L_(n), is created by the steps of: (i) for every production rule P of the grammars G₁ to G_(n), of the languages L₁ to L_(n), defining a unified production rule P₁ in the unified grammar specification UG having the target non-terminal symbol of the production rule P as its target non-terminal symbol; and (ii) for each grammar G₁ to G_(n) creating a list of terminal symbols and/or non-terminal symbols in the said production rule P₁ and adding each and every symbol in the list of terminal symbols and/or non-terminal symbols that are represented by the target non-terminal symbol in the production rule P to the said unified production rule P₁ and repeating previous step for the next production rule of the grammars G₁ to G_(n).
 3. An apparatus for automatic translation of sentences from a source language L_(s) selected from language L₁ to L_(n) to a target language L_(t) selected from languages L₁ to L_(n) comprising: (i) means for providing grammars G₁ to G_(n) of all the languages L₁ to L_(n) respectively, in which each grammar is unique to that particular language, and a text ‘S’ in the source language L_(s) as inputs; (ii) means for creating a unified grammar specification UG for the grammars G₁ to G_(n), in which equivalent grammar production rules of each grammar G₁ to G_(n) are combined into a single unified production rule; (iii) means for separating the input text ‘S’ in the source language L_(s) into a list of tokens using a lexical analyser for the source language L_(s); (iv) means for setting a current non-terminal symbol to the start symbol of the unified grammar specification UG; (v) grammar production rule obtaining means for obtaining a set of the grammar production rules from the united grammar specification UG, which contain the current non-terminal symbol as their target non-terminal; (vi) for each unified grammar production rule P in the set of the grammar production rules obtained from the grammar production rule obtaining means, symbol taking means for taking each symbol one by one from a list of terminal symbols and/or non-terminal symbols corresponding to the source language grammar G_(s), determining whether it is a terminal symbol or a non-terminal symbol; (vii) for each terminal symbol obtained from the symbol taking means, which is equivalent to a corresponding symbol in the list of tokens T of the input text in the source language L_(s), means for considering the next symbol in said list of terminal symbols and/or non-terminal symbols corresponding to the source language grammar G_(s) and for each non-terminal symbol E_(s) obtained from the symbol taking means, repeating obtaining a set of the grammar production rules from the united grammar specification UG by the grammar production rule obtaining means, onwards with E_(s) as the current non-terminal symbol; (viii) if all the symbols in the said list of terminal symbols and/or non-terminal symbols corresponding to the source language grammar G_(s) match with all the symbols in the list of tokens T of the input text in the source language L_(s), means for obtaining a list of symbols t corresponding to the target language grammar G_(t) from the unified grammar production rule P and for those symbols which do not match, repeating taking each symbol one by one from a list of terminal symbols and/or non-terminal symbols corresponding to the source language grammar G_(s) by the symbol taking means, onwards for a next unified grammar production rule P defined for the non-terminal symbol ‘E’; (ix) determining means for taking each symbol one by one, from the list of symbols t corresponding to the target grammar G_(t) and determining whether it is a terminal symbol or a non-terminal symbol; (x) for each terminal symbol obtained from the determining means, means for outputting the symbol, and considering the next symbol and for each non-terminal obtained from the determining means, means for obtaining another unified grammar production rule P corresponding to that non-terminal symbol and repeating the determining means with the new unified grammar production rule, till all the symbols in the list of symbols t corresponding to the target language grammar G_(t) are exhausted.
 4. A computer readable medium for automatic translation of sentences from a source language L_(s) selected from language L₁ to L_(n) to a target language L_(t) selected from languages L₁ to L_(n), including program instructions executable by a computer system for: (i) providing grammars G₁ to G_(n) of all the languages L₁ to L_(n) respectively, in which each grammar is unique to that particular language, and a text ‘S’ in the source language L_(s) as inputs; (ii) creating a unified grammar specification UG for the grammars G₁ to G_(n), in which equivalent grammar production rules of each grammar G₁ to G_(n) are combined into a single unified production rule; (iii) separating the input text ‘S’ in the source language L_(s) into a list of tokens using a lexical analyser for the source language L_(s); (iv) setting a current non-terminal symbol to the start symbol of the unified grammar specification UG; (v) obtaining a set of the grammar production rules from the united grammar specification UG, which contain the current non-terminal symbol as their target non-terminal; (vi) for each unified grammar production rule P in the set of the grammar production rules obtained from the previous step (v), taking each symbol one by one from a list of terminal symbols and/or non-terminal symbols corresponding to the source language grammar G_(s), determining whether it is a terminal symbol or a non-terminal symbol; (vii) for each terminal symbol obtained from the previous step, which is equivalent to a corresponding symbol in the list of tokens T of the input text in the source language L_(s), considering the next symbol in said list of terminal symbols and/or non-terminal symbols corresponding to the source language grammar G_(s) and for each non-terminal symbol E_(s) obtained from the previous step, repeating step (v) onwards with E_(s) as the current non-terminal symbol; (viii) if all the symbols in the said list of terminal symbols and/or non-terminal symbols corresponding to the source language grammar G_(s) match with all the symbols in the list of tokens T of the input text in the source language L_(s), obtaining a list of symbols t corresponding to the target language grammar G_(t) from the unified grammar production rule P and for those symbols which do not match, repeating step (vi) onwards for a next unified grammar production rule P defined for the non-terminal symbol ‘E’; (ix) taking each symbol one by one, from the list of symbols t corresponding to the target grammar G_(t) and determining whether it is a terminal symbol or a non-terminal symbol; (x) for each terminal symbol obtained from the previous step outputting the symbol, and considering the next symbol and for each non-terminal obtained from the previous step, obtaining another unified grammar production rule P corresponding to that non-terminal symbol and repeating the previous step with the new unified grammar production rule, till all the symbols in the list of symbols t corresponding to the target language grammar G_(t) are exhausted. 